//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include <bsp.h>
#include <cpu.h>
#include <8042.h>

EXTERN_C void CDECL BspIdle()
{
    ASM("hlt;");
}

EXTERN_C void CDECL BspHalt()
{
    Cli();

    while (TRUE) {
        ASM("hlt;");
    }
}

EXTERN_C void CDECL BspReboot()
{
    while (TRUE) {
        SystemReset();
    }
}
